- ошибка деления
- n
mech.eng. défaut de division
Dictionnaire russe-français universel. 2013.
Dictionnaire russe-français universel. 2013.
Ошибка Pentium FDIV — Ошибка Pentium FDIV это ошибка в модуле операций с плавающей запятой в оригинальных процессорах Pentium, выпускавшихся фирмой Intel в 1994 году. Ошибка выражалась в том, что при проведении деления над числами с плавающей запятой при помощи… … Википедия
Ошибка измерения — Погрешность измерения оценка отклонения величины измеренного значения величины от её истинного значения. Погрешность измерения является характеристикой (мерой) точности измерения. Поскольку выяснить с абсолютной точностью истинное значение любой… … Википедия
Деления и делительная машина — Для практики наблюдательных наук правильные и точные Д., как линейные, так и угловые, представляют предмет первостепенной важности. Глаз или осязание дает нам лишь возможность судить о равенстве двух промежутков, когда они наложены или надлежащим … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Законы деления — (дихотомия) логики созданы для классификации и систематизации разных понятий. Основные принципы деления: деление должно быть соразмерным; деление на каждом его этапе должно производиться по одному основанию; члены деления должны исключать друг… … Википедия
Исключение (программирование) — Обработка исключительных ситуаций (англ. exception handling) механизм языков программирования, предназначенный для описания реакции программы на ошибки времени выполнения и другие возможные проблемы (исключения), которые могут возникнуть при… … Википедия
Исключения — Обработка исключительных ситуаций (англ. exception handling) механизм языков программирования, предназначенный для описания реакции программы на ошибки времени выполнения и другие возможные проблемы (исключения), которые могут возникнуть при… … Википедия
Автоматическое доказательство теорем — Автоматическое доказательство теорем доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний … Википедия
Автоматическое доказательство — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов. В силу неразрешимости даже … Википедия
Компаратор — прибор для точного сравнения линейных мер, впервые устроенный в 1792 г. Ленуаром, в Париже, для сравнения концевых мер [Концевыми (à bout) мерами называются такие, в которых длина (например, 1 м) представляет расстояние между оконечностями, как в … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Allium test — Содержание 1 История метода «Allium Test», преимущества перед другими методами и перспективы … Википедия
ЛОГИЧЕСКИЕ ОШИБКИ — нарушения к. л. законов или правил логики. Если ошибка допущена неумышленно, она называется паралогизмом; если же правила логики нарушают умышленно с целью доказать недоказуемое или ввести кого то в заблуждение, то это софизм. Л.о. следует… … Философская энциклопедия